Natural computation

Results: 158



#Item
151Logic in computer science / Theory of computation / Deduction / Natural deduction / Proof theory / Structural induction / Function / Fold / Motive / Mathematics / Mathematical logic / Logic

Elimination with a Motive Conor McBride Department of Computer Science

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2010-11-07 05:35:59
152Mathematics / Computation / Bio-inspired computing / Ant / Actor model / Natural computing / Lateral computing / Theoretical computer science / Applied mathematics / Computer science

Biological Computation Melanie Mitchell

Add to Reading List

Source URL: www.santafe.edu

Language: English - Date: 2013-03-11 16:16:35
153Natural language processing / Feeling / Affect / Emotion / Latent semantic analysis / Document-term matrix / Semantic similarity / Search engine indexing / Vector space model / Information science / Information retrieval / Science

E. Y. Bann and J. J. Bryson Proceedings of the 13th Neural Computation and Psychology Workshop (NCPW13), July 2012

Add to Reading List

Source URL: aeir.co.uk

Language: English - Date: 2013-09-06 13:17:37
154Models of computation / Dependently typed programming / Type theory / Functional languages / Functional programming / Generalized algebraic data type / Standard ML / Lambda calculus / Natural deduction / Software engineering / Declarative programming / Computing

Under consideration for publication in J. Functional Programming 1

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2006-11-24 14:08:53
155Theoretical computer science / Proof theory / Predicate logic / Computability theory / Models of computation / Π-calculus / Function / Natural deduction / Generalization / Mathematics / Mathematical logic / Logic

Propositions as Sessions Philip Wadler University of Edinburgh

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2012-08-31 07:10:39
156Theory of computation / Models of computation / Computability theory / Turing machine / Algorithm / Computation / Church–Turing thesis / Natural computing / Turing completeness / Theoretical computer science / Computer science / Applied mathematics

PDF Document

Add to Reading List

Source URL: www.cs.gmu.edu

Language: English - Date: 2010-08-26 22:14:21
157Models of computation / Cell biology / Membrane computing / Natural computing / P system / Biological membrane / Cell membrane / Multiset / Mitochondrion / Biology / Membrane biology / Organelles

PDF Document

Add to Reading List

Source URL: psystems.disco.unimib.it

Language: English - Date: 2007-05-16 09:36:27
158Applied mathematics / Mathematical optimization / Theoretical computer science / Evolutionary biology / Evolution / Genetic algorithm / Evolutionary computation / Lawrence J. Fogel / Natural selection / Science / Cybernetics / Intelligent design

PDF Document

Add to Reading List

Source URL: iscid.org

Language: English
UPDATE